The two-volume set LNCS 5072 and 5073 constitutes the refereed proceedings of the International Conference on Computational ...
Continue readingThis two-volume set LNCS 12759 and 12760 constitutes the refereed proceedings of the 33rd International Conference on Computer ...
Continue readingThis two-volume set LNCS 12759 and 12760 constitutes the refereed proceedings of the 33rd International Conference on Computer ...
Continue readingThe volume cover logics, decision procedures; and solvers; numerical programs; verification; distributed systems and networks; ...
Continue readingThis book constitutes the refereed proceedings of the 24th International Conference on Computer Safety, Reliability, and ...
Continue readingThis book constitutes the thoroughly refereed post-proceedings of the 9th International Conference on Computer Supported ...
Continue readingThe design of complex artifacts and systems requires the cooperation of multidiscip- nary design teams using multiple commercial ...
Continue readingThe design of complex artifacts and systems requires the cooperation of multidiscip- nary design teams using multiple commercial ...
Continue readingThe volume consists of seven sections, six of which are dedicated to the main research areas to which Ugo Montanari has contributed: ...
Continue readingEfforts to understand and predict the behavior of software date back to the earliest days of computer programming,over half ...
Continue readingEfforts to understand and predict the behavior of software date back to the earliest days of computer programming,over half ...
Continue readingThis book constitutes the refereed proceedings of the 7th International Conference on Coordination Models and Languages, ...
Continue readingThis book constitutes the refereed proceedings of the 23rd IFIP WG 6.1 International Conference on Coordination Models and ...
Continue readingThis book constitutes the proceedings of the 22nd International Conference on Coordination Models and Languages, COORDINATION ...
Continue readingThis book constitutes the refereed proceedings of the First International Conference on Data Management in Grid and Peer-to-Peer ...
Continue readingThis two volume set (CCIS 1257 and 1258) constitutes the refereed proceedings of the 6th International Conference of Pioneering ...
Continue readingThis book presented secure query evaluation, location-based security/mobile security, distributed security issues, cryptographic-based ...
Continue readingThis book presented secure query evaluation, location-based security/mobile security, distributed security issues, cryptographic-based ...
Continue readingThis tutorial book gives an overview of the current state of the art in measuring the different aspects of dependability ...
Continue readingThis book presented fault-tolerant algorithms, software engineering of dependable systems, networking and mobile computing, ...
Continue reading